大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Computer Arithmetic 15th Asilomar July 的图书(共3099本)

Artificial Intelligence: Methodology, Systems, and Applications [electronic resource] : 15th International Conference, AIMSA 2012, Varna, Bulgaria, September 12-15, 2012. Proceedings

0
索取号：
作者：Ramsay、 Allan.、Agre、 Gennady.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Visual Computing [electronic resource] : 8th International Symposium, ISVC 2012, Rethymnon, Crete, Greece, July 16-18, 2012, Revised Selected Papers, Part I

0
索取号：
作者：Bebis、 George.、Boyle、 Richard.、Parvin、 Bahram.、Koracin、 Darko.、Fowlkes、 Charless.、Wang、 Sen.、Choi、 Min-Hyung.、Mantler、 Stephan.、Schulze、 J眉rgen.、Acevedo、 Daniel.、Mueller、 Klaus.、Papka、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computer Security-ESORICS 2012 [electronic resource] : 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings

0
索取号：
作者：Foresti、 Sara.、Yung、 Moti.、Martinelli、 Fabio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computer Algebra in Scientific Computing [electronic resource] : 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings

0
索取号：
作者：Gerdt、 Vladimir P.、Koepf、 Wolfram.、Mayr、 Ernst W.、Vorozhtsov、 Evgenii V.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Knowledge Technology [electronic resource] : Third Knowledge Technology Week, KTW 2011, Kajang, Malaysia, July 18-22, 2011. Revised Selected Papers

0
索取号：
作者：Lukose、 Dickson.、Ahmad、 Abdul Rahim.、Suliman、 Azizah.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Text, Speech and Dialogue [electronic resource] : 15th International Conference, TSD 2012, Brno, Czech Republic, September 3-7, 2012. Proceedings

0
索取号：
作者：Sojka、 Petr.、Hor谩k、 Ale拧.、Kope膷ek、 Ivan.、Pala、 Karel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Coalgebraic Methods in Computer Science [electronic resource] : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 鈥pril 1, 2012, Revised Selected Papers

0
索取号：
作者：Pattinson、 Dirk.、Schr枚der、 Lutz.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

PRIMA 2012: Principles and Practice of Multi-Agent Systems [electronic resource] : 15th International Conference, Kuching, Sarawak, Malaysia, September 3-7, 2012. Proceedings

0
索取号：
作者：Rahwan、 Iyad.、Wobcke、 Wayne.、Sen、 Sandip.、Sugawara、 Toshiharu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Augmented Environments for Computer-Assisted Interventions [electronic resource] : 6th International Workshop, AE-CAI 2011, Held in Conjunction with MICCAI 2011, Toronto, ON, Canada, September 22, 2011, Revised Selected Papers

0
索取号：
作者：Linte、 Cristian A.、Moore、 John T.、Chen、 Elvis C. S.、Holmes、 David R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Mathematical Foundations of Computer Science 2012 [electronic resource] : 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings

0
索取号：
作者：Rovan、 Branislav.、Sassone、 Vladimiro.、Widmayer、 Peter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Autonomous Robotics [electronic resource] : Joint Proceedings of the 13th Annual TAROS Conference and the 15th Annual FIRA RoboWorld Congress, Bristol, UK, August 20-23, 2012

0
索取号：
作者：Herrmann、 Guido.、Studley、 Matthew.、Pearson、 Martin.、Conn、 Andrew.、Melhuish、 Chris.、Witkowski、 Mark.、Kim、 Jong-Hwan.、Vadakkepat、 Prahlad.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Cambridge, MA, USA, August 15-17, 2012. Proceedings

0
索取号：
作者：Gupta、 Anupam.、Jansen、 Klaus.、Rolim、 Jos茅.、Servedio、 Rocco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Logic-Based Program Synthesis and Transformation [electronic resource] : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

0
索取号：
作者：Vidal、 Germ谩n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Formal Grammar [electronic resource] : 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers

0
索取号：
作者：Groote、 Philippe.、Nederhof、 Mark-Jan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Inductive Logic Programming [electronic resource] : 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 鈥ugust 3, 2011, Revised Selected Papers

0
索取号：
作者：Muggleton、 Stephen H.、Tamaddoni-Nezhad、 Alireza.、Lisi、 Francesca A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Computer Games [electronic resource] : 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers

0
索取号：
作者：Herik、 H. Jaap.、Plaat、 Aske.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.